منابع مشابه
City reacts to strip - search
Tlfc Sou th B end Police p ro b a tio n ary officer w ho strip -search ed e ight Saint M ary's s tu d e n ts last w eek en d has ro u tin e ly s tr ip sea rch ed su sp ec ts b ro u g h t to th e c ity jail since m id -D ecem ber, The Observer lea rn ed yesterday . Police C h ief D aniel T hom p so n said th e fem ale o fficer had nev er b een in s tru c te d that th e s trip search o f p e rs...
متن کاملSTRIP: Structural Sharing for Efficient Proof-Search
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine and explicit management of formulae (as resources) based on a structural sharing and it builds, for a given formula, either a proof or a countermodel.
متن کاملA Strip Search for New Very Wide Halo Binaries
We report on a search for new wide halo binary stars in SDSS Stripe 82. A list of new halo wide binary candidates which satisfy common proper motion and photometric constraints is provided. The projected separations of the sample lie between 0.007-0.25 pc. Although the sample is not large enough to improve constraints on dark matter in the halo, we find the wide binary angular separation functi...
متن کاملTabu Search with Consistent Neighbourhood for Strip Packing
This paper introduces a new tabu search algorithm for a strip packing problem. It integrates several key features: A consistent neighborhood, a fitness function including problem knowledge, and a diversification based on the history of the search. The neighborhood only considers valid, sometimes partial, packings. The fitness function incorporates measures related to the empty spaces. Diversifi...
متن کاملA Tabu Search Algorithm with Direct Representation for Strip Packing
This paper introduces a new tabu search algorithm for a twodimensional (2D) Strip Packing Problem (2D-SPP). It integrates several key features: A direct representation of the problem, a satisfaction-based solving scheme, two different complementary neighborhoods, a diversification mechanism and a particular tabu structure. The representation allows inexpensive basic operations. The solving sche...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Index on Censorship
سال: 2009
ISSN: 0306-4220,1746-6067
DOI: 10.1080/03064220903484435